Skip to content

Conversation

@ofranc
Copy link
Collaborator

@ofranc ofranc commented Oct 2, 2025

Reporter: Pierre Scacchi

This PR is a new changelog contribution. It has been created automatically.

Make sure to review it carefully before merging it.

@RoRoJ RoRoJ merged commit 82a336d into main Oct 2, 2025
2 of 3 checks passed
@RoRoJ RoRoJ deleted the docs/changelog/2025-10-02-082117 branch October 2, 2025 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: changelog Changelog entries

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants